| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Funktionale Programmierung | Fach-/Modulprüfung | 6 | 385828 | ||
| Mathematische Logik I | Vorlesung | 382385 | Di 13:00-15:00 AH II (2350|111) (×1) Mi 14:30-16:00 Roter Hörsaal AM (Ro) (1420|002) (×13) Do 14:30-16:00 Grüner Hörsaal AM (Gr) (1420|001) (×12) | ||
| Fach-/Modulprüfung | 6 | 386771 | |||
| Tutorium | 382366 | Mo 12:30-14:00 5055 (2356|055) (×13) Di 12:30-14:00 5055 (2356|055) (×13) Di 14:30-16:00 5055 (2356|055) (×14) Di 15:00-17:15 Sparkassenforum (nur ePruefungen) (1040|U234) (×1) Mi 16:30-18:00 AH VI (2356|051) (×13) Mi 18:30-20:00 AH III (2350|314.1) (×13) Do 08:30-10:00 AH I (2350|028) (×12) Do 10:30-12:00 5052 (2356|052) (×11) Do 16:30-18:00 AH VI (2356|051) (×12) Do 16:30-19:30 Großer Hörsaal AM (1420|210) (×1) Fr 10:30-12:00 5052 (2356|052) (×12) Fr 12:30-14:00 5054 (2356|054) (×12) Fr 12:30-14:00 AH VI (2356|051) (×12) | |||
| Modellierung und Analyse hybrider Systeme | Fach-/Modulprüfung | 6 | 386654 | ||
| Vorlesung/Übung | 381348 | Mo 12:30-14:00 AH III (2350|314.1) (×12) Di 16:30-18:00 AH I (2350|028) (×14) |